Fibring in the Leibniz Hierarchy
نویسندگان
چکیده
This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, equivalential and algebraizable. By introducing new categories of algebrizable logics and of deductivizable quasi-varieties, it is stated an isomorphism between these categories. This constitutes an alternative to a similar result found in the literature.
منابع مشابه
Malinowski modalization, modalization through fibring and the Leibniz hierarchy
We show how various modal systems considered by Malinowski as extensions of classical propositional calculus may be obtained as fibrings of classical propositional calculus and corresponding implicative modal logics, using the fibring framework for combining logics of Fernández and Coniglio. Taking advantage of this construction and known results of Malinowski, we draw some useful conclusions c...
متن کاملFibring (Para)consistent Logics∗
The problem of fibring paraconsistent logics is addressed. Such logics raise new problems in the semantics of fibring since previous work assumed verum-functional models. The solution is found in a general notion of interpretation system presentation that “specifies” the intended valuations in some appropriate meta language. Fibring appears as a universal construction in the category of interpr...
متن کاملLeibniz’s Monads and Mulla Sadra’s Hierarchy of Being: A Comparative Study
Mulla Sadra and Leibniz, the two philosophers from the East and the West, belong to two different worlds. Though they were unaware of the ideas of each other, their philosophical systems share certain common points that are comparable. Monads constitute the basis of Leibniz's thought and he refers to their features in his various works. On the other side, Mulla Sadra's philosophy is also based ...
متن کاملCategorical Abstract Algebraic Logic: Compatibility Operators and the Leibniz Hierarchy
A unified treatment of the operator approach to categorical abstract algebraic logic (CAAL) was recently presented by the author using as tools the notions of compatibility operator of Czelakowski, of coherent compatibility operator of Albuquerque, Font and Jansana and exploiting an abstract Galois connection established via the use of these operators. The approach encompasses previous work by ...
متن کاملAssertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
We establish some relations between the class of truth-equational logics, the class of assertional logics, other classes in the Leibniz hierarchy, and the classes in the Frege hierarchy. We argue that the class of assertional logics belongs properly in the Leibniz hierarchy. We give two new characterizations of truth-equational logics in terms of their full generalized models, and use them to o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Logic Journal of the IGPL
دوره 15 شماره
صفحات -
تاریخ انتشار 2007